Combining Texts

All the ideas for 'Frege philosophy of mathematics', 'works' and 'Introduction to 'Hippias Minor''

expand these ideas     |    start again     |     specify just one area for these texts


86 ideas

1. Philosophy / C. History of Philosophy / 4. Later European Philosophy / b. Seventeenth century philosophy
Leibniz aims to give coherent rational support for empiricism [Leibniz, by Perkins]
1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Metaphysics is a science of the intelligible nature of being [Leibniz, by Cover/O'Leary-Hawthorne]
1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
Leibniz tried to combine mechanistic physics with scholastic metaphysics [Leibniz, by Pasnau]
2. Reason / A. Nature of Reason / 1. On Reason
Reason is the faculty for grasping apriori necessary truths [Leibniz, by Burge]
2. Reason / A. Nature of Reason / 4. Aims of Reason
For Leibniz rationality is based on non-contradiction and the principle of sufficient reason [Leibniz, by Benardete,JA]
2. Reason / B. Laws of Thought / 2. Sufficient Reason
Leibniz said the principle of sufficient reason is synthetic a priori, since its denial is not illogical [Leibniz, by Benardete,JA]
2. Reason / D. Definition / 7. Contextual Definition
A contextual definition permits the elimination of the expression by a substitution [Dummett]
2. Reason / E. Argument / 6. Conclusive Proof
Leibniz is inclined to regard all truths as provable [Leibniz, by Frege]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
A prime number is one which is measured by a unit alone [Dummett]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
Addition of quantities is prior to ordering, as shown in cyclic domains like angles [Dummett]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
Number cannot be defined as addition of ones, since that needs the number; it is a single act of abstraction [Fine,K on Leibniz]
A number is a multitude composed of units [Dummett]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / e. Counting by correlation
We understand 'there are as many nuts as apples' as easily by pairing them as by counting them [Dummett]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / j. Infinite divisibility
The continuum is not divided like sand, but folded like paper [Leibniz, by Arthur,R]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / k. Infinitesimals
A tangent is a line connecting two points on a curve that are infinitely close together [Leibniz]
Nature uses the infinite everywhere [Leibniz]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
The identity of a number may be fixed by something outside structure - by counting [Dummett]
Numbers aren't fixed by position in a structure; it won't tell you whether to start with 0 or 1 [Dummett]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Set theory isn't part of logic, and why reduce to something more complex? [Dummett]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
A mathematical object exists if there is no contradiction in its definition [Waterfield]
7. Existence / C. Structure of Existence / 6. Fundamentals / c. Monads
Leibniz proposes monads, since there must be basic things, which are immaterial in order to have unity [Leibniz, by Jolley]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
The distinction of concrete/abstract, or actual/non-actual, is a scale, not a dichotomy [Dummett]
7. Existence / D. Theories of Reality / 2. Realism
Realism is just the application of two-valued semantics to sentences [Dummett]
8. Modes of Existence / A. Relations / 1. Nature of Relations
If relations can be reduced to, or supervene on, monadic properties of relata, they are not real [Leibniz, by Swoyer]
Relations aren't in any monad, so they are distributed, so they are not real [Leibniz]
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
Forms have sensation and appetite, the latter being the ability to act on other bodies [Leibniz, by Garber]
The essence of a thing is its real possibilities [Leibniz, by Cover/O'Leary-Hawthorne]
8. Modes of Existence / E. Nominalism / 1. Nominalism / a. Nominalism
Nominalism assumes unmediated mental contact with objects [Dummett]
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
The existence of abstract objects is a pseudo-problem [Dummett]
9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
Abstract objects nowadays are those which are objective but not actual [Dummett]
It is absurd to deny the Equator, on the grounds that it lacks causal powers [Dummett]
'We've crossed the Equator' has truth-conditions, so accept the Equator - and it's an object [Dummett]
9. Objects / A. Existence of Objects / 2. Abstract Objects / d. Problems with abstracta
Abstract objects need the context principle, since they can't be encountered directly [Dummett]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
Leibniz moved from individuation by whole entity to individuation by substantial form [Leibniz, by Garber]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
The laws-of-the-series plays a haecceitist role [Leibniz, by Cover/O'Leary-Hawthorne]
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
Identity of a substance is the law of its persistence [Leibniz]
9. Objects / B. Unity of Objects / 1. Unifying an Object / c. Unity as conceptual
Leibniz bases pure primitive entities on conjunctions of qualitative properties [Leibniz, by Adams,RM]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
Leibnizian substances add concept, law, force, form and soul [Leibniz, by Cover/O'Leary-Hawthorne]
Substances are essentially active [Leibniz, by Jolley]
9. Objects / C. Structure of Objects / 2. Hylomorphism / c. Form as causal
Leibniz strengthened hylomorphism by connecting it to force in physics [Leibniz, by Garber]
9. Objects / D. Essence of Objects / 9. Essence and Properties
Leibniz's view (that all properties are essential) is extreme essentialism, not its denial [Leibniz, by Mackie,P]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Leibniz was not an essentialist [Leibniz, by Wiggins]
9. Objects / F. Identity among Objects / 2. Defining Identity
Content is replaceable if identical, so replaceability can't define identity [Dummett, by Dummett]
Frege introduced criteria for identity, but thought defining identity was circular [Dummett]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
Two eggs can't be identical, because the same truths can't apply to both of them [Leibniz]
9. Objects / F. Identity among Objects / 9. Sameness
Things are the same if one can be substituted for the other without loss of truth [Leibniz]
10. Modality / A. Necessity / 2. Nature of Necessity
Necessary truths are those provable from identities by pure logic in finite steps [Leibniz, by Hacking]
10. Modality / B. Possibility / 1. Possibility
How can things be incompatible, if all positive terms seem to be compatible? [Leibniz]
10. Modality / B. Possibility / 5. Contingency
A reason must be given why contingent beings should exist rather than not exist [Leibniz]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
Leibniz narrows down God's options to one, by non-contradiction, sufficient reason, indiscernibles, compossibility [Leibniz, by Harré]
Each monad expresses all its compatible monads; a possible world is the resulting equivalence class [Leibniz, by Rumfitt]
Leibniz proposed possible worlds, because they might be evil, where God would not create evil things [Leibniz, by Stewart,M]
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
Leibniz has a counterpart view of de re counterfactuals [Leibniz, by Cover/O'Leary-Hawthorne]
11. Knowledge Aims / A. Knowledge / 2. Understanding
For Leibniz, divine understanding grasps every conceivable possibility [Leibniz, by Perkins]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / a. Idealism
Leibniz said dualism of mind and body is illusion, and there is only mind [Leibniz, by Martin/Barresi]
Leibniz is an idealist insofar as the basic components of his universe are all mental [Leibniz, by Jolley]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
The essence of substance is the law of its changes, as in the series of numbers [Leibniz]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / a. Consciousness
Leibniz introduced the idea of degrees of consciousness, essential for his monads [Leibniz, by Perkins]
16. Persons / F. Free Will / 6. Determinism / a. Determinism
We think we are free because the causes of the will are unknown; determinism is a false problem [Leibniz]
17. Mind and Body / A. Mind-Body Dualism / 3. Panpsychism
Leibniz has a panpsychist view that physical points are spiritual [Leibniz, by Martin/Barresi]
17. Mind and Body / A. Mind-Body Dualism / 4. Occasionalism
Occasionalism give a false view of natural laws, miracles, and substances [Leibniz, by Jolley]
18. Thought / D. Concepts / 2. Origin of Concepts / a. Origin of concepts
Concepts are ordered, and show eternal possibilities, deriving from God [Leibniz, by Arthur,R]
18. Thought / D. Concepts / 4. Structure of Concepts / i. Conceptual priority
Maybe a concept is 'prior' to another if it can be defined without the second concept [Dummett]
An argument for conceptual priority is greater simplicity in explanation [Dummett]
18. Thought / E. Abstraction / 1. Abstract Thought
Abstract terms are acceptable as long as we know how they function linguistically [Dummett]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
There is no reason why abstraction by equivalence classes should be called 'logical' [Dummett, by Tait]
We arrive at the concept 'suicide' by comparing 'Cato killed Cato' with 'Brutus killed Brutus' [Dummett]
18. Thought / E. Abstraction / 8. Abstractionism Critique
To abstract from spoons (to get the same number as the forks), the spoons must be indistinguishable too [Dummett]
19. Language / A. Nature of Meaning / 7. Meaning Holism / a. Sentence meaning
Leibniz was the first modern to focus on sentence-sized units (where empiricists preferred word-size) [Leibniz, by Hart,WD]
19. Language / C. Assigning Meanings / 5. Fregean Semantics
Fregean semantics assumes a domain articulated into individual objects [Dummett]
20. Action / B. Preliminaries of Action / 2. Willed Action / d. Weakness of will
Limited awareness leads to bad choices, and unconscious awareness makes us choose the bad [Leibniz, by Perkins]
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
Leibniz identified beauty with intellectual perfection [Leibniz, by Gardner]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / g. Moral responsibility
Humans are moral, and capable of reward and punishment, because of memory and self-consciousness [Leibniz, by Jolley]
25. Social Practice / D. Justice / 2. The Law / c. Natural law
Natural law theory is found in Aquinas, in Leibniz, and at the Nuremberg trials [Leibniz, by Jolley]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism
Leibniz rejected atoms, because they must be elastic, and hence have parts [Leibniz, by Garber]
Microscopes and the continuum suggest that matter is endlessly divisible [Leibniz]
26. Natural Theory / A. Speculations on Nature / 7. Later Matter Theories / a. Early Modern matter
Leibniz struggled to reconcile bodies with a reality of purely soul-like entities [Jolley on Leibniz]
26. Natural Theory / A. Speculations on Nature / 7. Later Matter Theories / c. Matter as extension
Leibniz eventually said resistance, rather than extension, was the essence of body [Leibniz, by Pasnau]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
Leibniz wanted to explain motion and its laws by the nature of body [Leibniz, by Garber]
The law within something fixes its persistence, and accords with general laws of nature [Leibniz]
26. Natural Theory / D. Laws of Nature / 10. Closure of Physics
Leibniz had an unusual commitment to the causal completeness of physics [Leibniz, by Papineau]
27. Natural Reality / A. Classical Physics / 1. Mechanics / c. Forces
Leibniz uses 'force' to mean both activity and potential [Leibniz]
27. Natural Reality / C. Space / 3. Points in Space
Why should the limit of measurement be points, not intervals? [Dummett]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
God's existence is either necessary or impossible [Leibniz, by Scruton]
28. God / C. Attitudes to God / 5. Atheism
Leibniz was closer than Spinoza to atheism [Leibniz, by Stewart,M]